On narrowing the gap between verification and systematic testing

نویسنده

  • Maria Christakis
چکیده

Our work on narrowing the gap between verification and systematic testing has two directions: (1) complementing verification with systematic testing, and (2) pushing systematic testing toward reaching verification. In the first direction, we explore how to effectively combine static analysis with systematic testing, so as to guide test generation toward properties that have not been previously checked by a static analyzer in a sound way. This combination significantly reduces the test effort while checking more unverified properties. In the second direction, we push systematic testing toward checking as many executions as possible of a real and complex image parser, so as to prove the absence of a certain class of errors. This verification attempt required no static analysis or source code annotations; our purely dynamic techniques targeted the verification of the parser implementation, including complicated assembly patterns that most static analyses cannot handle. ACM CCS: Software and its engineering → Software creation and management → Software verification and validation → Formal software verification Software and its engineering → Software creation and management → Software verification and validation → Software defect analysis → Software testing and debugging

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design and Validation of a Conceptual Model for Narrowing the Gap between Intended, Implemented, and Attained Curricula in the Public Education System in Iran

Abstract: The present research aimed at developing and validating a conceptual model for narrowing the gap between intended, implemented, and attained curricula in the public education system in Iran. Two fundamental questions guided this investigation: what model can be developed to reduce the gap between the three mentioned curricula? To what extent does the proposed model gain the approval? ...

متن کامل

Measurement of the immobilisation efficacy of a head fixation system

Background: In order to assign appropriate planning target volume (PTV) margins, each centre should measure the patient positioning deviations for their set-up techniques. At the Royal Marsden Hospital, UK, a conformal shell (cast) system is used when a stereotactic frame is not suitable. In this paper, we report on a series of measurements with the aim of obtaining the systematic and random ...

متن کامل

General Methods for Access Control Policy Verification

Access control systems are among the most critical of computer security components. Faulty policies, misconfigurations, or flaws in software implementations can result in serious vulnerabilities. To formally and precisely capture the security properties that access control should adhere to, access control models are usually written, bridging the gap in abstraction between policies and mechanism...

متن کامل

ICT and Urban Family Generation Gap in Iran

The present paper aims to determine the relationship between ICT usage and generation gap in Tehran urban family. This research is based on a survey in which a systematic random sampling of 384 families has been chosen to be questioned from different districts of Tehran. The results of the test showed a meaningful relationship between the usage of ICT and generation gap in urban households of T...

متن کامل

The Gap Between Academic Research and Industrial Practice in Software Testing

Name Abbr. Type Papers (2014) Software Testing, Verification and Reliability STVR journal 24 / year International Conference on Software Testing, Verification and Validation ICST conf. 141 submitted 40 accepted International Symposium on Software Testing and Analysis ISSTA conf. 128 submitted 36 accepted International Conference on Testing Software and Systems ICTSS conf. 36 submitted 17 accept...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • it - Information Technology

دوره 59  شماره 

صفحات  -

تاریخ انتشار 2017